استدلال پیرامون انتقال کنترل

چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها را دارند. امتیاز این دو سیستم این است که اعمال تنها به دو عمل ارزشدهی و انتقال کنترل محدود است و مدل بسیار ساده تر می شود. در پایان به بررسی بازی دومینو با استفاده از وجه های منطقی ? و ? می پردازیم اصول بازی را ذکر و ثابت می کنیم سیستم مربوطه سالم و تمام است. رده بندی موضوع: (30t68) 45b03. کلمات کلیدی: ائتلاف منطقی، کنترل گزاره ای، انتقال کنترل، معناشناسی مستقیم، معناشناسی کریپکی، مدل بررسی گر، صدق پذیری.